1. $p$ : $\mathbb{B}$
\\[0ex]$\vdash$  ($\neg_{b}\neg_{b}$$p$) = $p$